Modeling Multi-Agent Systems with Hierarchical Colored Petri Nets
نویسنده
چکیده
A new approach to model multi-agent systems with hierarchical colored Petri nets is introduced. Every agent has its colored Petri net system, when agents are composed into a MAS, we get hierarchical colored Petri net system of the multi-agent system, properties of the hierarchical colored Petri net system, such as reachability, deadlock detection and avoidance, fairness can be used to analyze dynamic properties of the multi-agent system.
منابع مشابه
Modeling and Analysis of a Multi-agent System Using Colored Petri Nets ?
MATHEMA is an interactive learning environment based on multi-agent systems. The agents cooperate among each other in order to solve a given problem. Each agent of the MATHEMA is deened according to a hierarchical architecture. In this architecture the Social System is responsible for promoting the cooperative behavior between the agents. This paper presents the modeling, analysis and veriicati...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملModeling Multi-Agent Systems Activities Through Colored Petri Nets An Industrial Production System Case Study
This paper presents and discusses an industrial production system model based on Colored Petri Nets. The model was developed in order to analyse the agent's behavior of a distributed multi-agent system oriented to the simulation of the management and control of a spe-ciic hardmetal production system plant. This eeort help us to create the basis to get a more robust system with means to resist b...
متن کاملFormal Modeling of Temporal Interaction Aspects in Multi-Agent Systems
Multi-agent interaction protocols play a crucial role in multi-agent systems (MAS) development. They are used to manage and to control interactions among several autonomous agents in a MAS. Their formal specification, as well as their verification, constitute an essential task for the design of MAS applications. Several approaches have been proposed to formally represent agent interaction proto...
متن کامل